-
1 case frame
лингв. падежная рамка, падежный фрейм (комбинация падежей, допустимая при данном предикате) падежная рамкаБольшой англо-русский и русско-английский словарь > case frame
-
2 case frame
1) Техника: рама обшивки2) Вычислительная техника: блок, каркас, модель управления, падежная рамка, падежный фрейм (комбинация падежей, допустимая при данном предикате) -
3 case frame
лингв. падежная рамка, падежный фрейм (комбинация падежей, допустимая при данном предикате)English-Russian dictionary of computer science and programming > case frame
-
4 anonymous variable
а) при косвенно-регистровой адресации ( register indirect addressing) ссылка на значение переменной производится не по её имени, а по числовому значению её адреса в памяти. Отсюда и происходит этот терминсм. тж. variableб) скрытая переменная, создаваемая компилятором для выполнения передачи параметров по значению (см. call by value)в языке Пролог такая переменная обозначается символом подчёркивания и применяется, когда её значение не используется в предикатеАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > anonymous variable
-
5 кодирование синтаксическое
Под синтаксическим кодированием предлагается понимать характерный для данного языка способ синтаксической реализации семантических ролей актантов при данном предикате. На основании этого способа можно типизировать языки. Так, если рассмотреть возможные стратегии падежной реализации Агенса(А) и Пациенса(П) (которые можно считать основными и универсальными ролями), то возможно 16 стратегий падежной реализации трех основных падежных схем: А - непереходный глагол (работать) П - непереходный глагол (лежать, быть больным) А - переходный глагол - П от контрастивной (когда все четыре случая реализуются разными падежами) до нейтральной (когда предлагается один падеж для всех случаев). В частности, эргативный способ состоит в последовательном кодировании номинативом того актанта, который выполняет гиперроль Фактитива (наиболее затрагиваемого участника). Утверждается, что таковым является Пациенс, а не Агент переходного глагола, и, таким образом, Агенту остается быть кодированным эргативом.English-Russian glossary of linguistics terms > кодирование синтаксическое
-
6 purely quantified
логика
См. также в других словарях:
КАНТ — (Kant) Иммануил (1724 1804) нем. философ, крупнейший представитель нем. идеализма. Доцент (1755 1770), проф. Кёнигсбергского ун та (1770 1796). В философии К. традиционно выделяется два периода: «докритический» (до 1770) и «критический». Ранние… … Философская энциклопедия
_2. Теоретическая база словаря и исходные теоретические положения — При работе над словарем мы опирались на следующие теоретические положения лексикологии и семантического синтаксиса. Первое. Идея единства лексики и грамматики. Это взаимодействие осуществляется главным образом на уровне семантических моделей… … Экспериментальный синтаксический словарь
оператор — (от лат. operator действующий) одна из категорий исходных символов искусственного (формализованного) языка, наряду с константой, переменной, связкой и др. категориями. Обычно О. определяется как выражение, связывающее переменные. Примером… … Словарь терминов логики
Синтаксис — СИНТАКСИС. Определение С. В определениях С. отражены три основных направления в изучении грамматики (см.) в целом направления логическое, психологическое и формальное. Так, наиболее распространенными определениями С. являются: 1) определение его… … Литературная энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
СВОЙСТВО — (греч. idion; лат. proprium) то, что присуще к. л. предмету и характеризует его само по себе, а не говорит о его отношении с некоторыми др. объектами. В логике Аристотеля С. то, что присуще всем членам некоторого вида и специфично для них; в… … Философская энциклопедия
Семантическая сеть — У этого термина существуют и другие значения, см. Сеть … Википедия
Априори — Кантианство … Википедия
Перцептрон — Логическая схема перцептрона с тремя выходами Перцептрон, или персептрон[nb 1] (англ. perceptron от … Википедия
Науканский язык — Науканский Самоназвание: нывуӄаӷмит Страны: Россия … Википедия
Персептрон — Логическая схема перцептрона с тремя выходами Перцептрон, или персептрон[nb 1] (англ. perceptron от лат. perceptio восприятие; нем. perzeptron) математическая и компьютерная модель восприятия информации мозгом (кибернетическая модель мозга),… … Википедия